HTR-1.3 solver: Predicting electrified combustion using the hypersonic task-based research solver
نویسندگان
چکیده
This manuscript presents an updated open-source version of the Hypersonics Task-based Research (HTR) solver. The solver, whose main features are presented in Di Renzo et al. (2020) [9] and & Pirozzoli (2021) [10], is designed for direct numerical simulation reacting flows at high Reynolds numbers. new extends applications HTR solver to turbulent combustion presence external electric fields. In particular, a distributed Poisson compatible with heterogeneous architectures has been incorporated algorithm compute potential distribution bi-periodic configurations. drift fluxes electrically charged species now included transport equations using targeted essentially non-oscillatory scheme. A verification these provided one-dimensional burner stabilized flames, whereas three dimensional flame utilized discuss scalability proposed tool. Program Title: CPC Library link program files: https://doi.org/10.17632/9zsxjtzfr7.3 Developer's repository link: https://github.com/stanfordhpccenter/HTR-solver.git Licensing provisions: BSD 2-clause Programming language: Regent, C++, CUDA Journal reference previous versions: M. Renzo, L. Fu, J. Urzay, solver: exascale-oriented task-based multi-GPU high-order code hypersonic aerothermodynamics, Comput. Phys. Commun. 255 107262. S. Pirozzoli, HTR-1.2 research 1.2, 261 107733. Does supersede version?: Yes Reasons version: New Summary revisions: normalization multicomponent mixture Lu Law [1] 30 chemical scheme added as model methane air TENO-LAD [2] implemented option inviscid discretization FFT-based problems calculation properties (n,6,4) interaction theory charge-neutral interactions optional module ion-wind effects on FFCM-1 [3] Boivin [4] hydrogen Nature problem: solves compressible Navier-Stokes Mach numbers including finite-rate chemistry complex transport. methods simulations (DNS) number flows, such transitional boundary layers enthalpy flames. Solution method: uses low-dissipation finite difference schemes spatial conservation Cartesian stretched grids. time advancement performed either explicit method, when slow therefore does not introduce additional stiffness integration, or operator-splitting method that integrates production rates implicit discretization. Additional comments restrictions unusual features: builds runtime Legion [5] written programming language Regent [6] recently developed Stanford University. Instructions installation components README.md file enclosed repository. T. Lu, C.K. Law, criterion based computational singular perturbation identification quasi steady state species: reduced mechanism oxidation NO chemistry, Combust. Flame 154 (4) (2008) 761-774. Peng, Liu, Li, K. Zhang, Y. Shen, An efficient ENO local adaptive dissipation flow simulation, 425 109902. Smith G.P., Tao Y., H. Wang, Foundational Fuel Chemistry Model 1.0 (FFCM-1), http://nanoenergy.stanford.edu/ffcm1, 2016. P. Boivin, C. Jiménez, A.L. Sánchez, F.A. Williams, H2–air combustion, Proc. Inst. 33 (1) (2011) 517-523. web page: https://legion.stanford.edu http://regent-lang.org
منابع مشابه
Solver Device for Powdery Drugs
Pharmacotherapy is a major treatment method in healthcare centers, and the injection of powdered drugs is among common pharmacotherapy techniques. Medication errors and nosocomial infections are among major health issues in the world. On the other hand, powdered drugs are widely used in hospitals; however, drug mixture is a very time-consuming process. The objective of this invention was to acc...
متن کاملSymmetric Indefinite Linear Solver using OpenMP Task on Multicore Architectures
Recently, the Open Multi-Processing (OpenMP) standard has incorporated task-based programming, where a function call with input and output data is treated as a task. At run time, OpenMP’s superscalar scheduler tracks the data dependencies among the tasks and executes the tasks as their dependencies are resolved. On a shared-memory architecture with multiple cores, the independent tasks are exec...
متن کاملAn Asynchronous Task-based Fan-Both Sparse Cholesky Solver
Systems of linear equations arise at the heart of many scientific and engineering applications. Many of these linear systems are sparse; i.e., most of the elements in the coefficient matrix are zero. Direct methods based on matrix factorizations are sometimes needed to ensure accurate solutions. For example, accurate solution of sparse linear systems is needed in shift-invert Lanczos to compute...
متن کاملPredicting SAT Solver Performance on Heterogeneous Hardware
Abstract. In recent years a lot of effort has been expended in determining if SAT solver performance is predictable. However, the work in this area invariably focuses on individual benchmarking machines, and often on individual solvers. It is unclear whether predictions made on a specific solver and benchmarking machine are accurate when translated to other solvers and hardware. In this work we...
متن کاملPredicting SMT Solver Performance for Software Verification
The Why3 IDE and verification system facilitates the use of a wide range of Satisfiability Modulo Theories (SMT) solvers through a driver-based architecture. We present Where4: a portfolio-based approach to discharge Why3 proof obligations. We use data analysis and machine learning techniques on static metrics derived from program source code. Our approach benefits software engineers by providi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Physics Communications
سال: 2022
ISSN: ['1879-2944', '0010-4655']
DOI: https://doi.org/10.1016/j.cpc.2021.108247